University of Cambridge Computer Laboratory - PDFSEARCH.IO - Document Search Engine

University of Cambridge Computer Laboratory
Results: 746

#	Item
641	dt race .o rg http://dtrace.o rg/blo gs/brendan[removed]virtualizatio n-perfo rmance-zo nes-kvm-xen/ Virtualization Performance: Zones, KVM, Xen At Joyent we run a high-perf ormance public cloud based on two dif f er Add to Reading List Source URL: www.brendangregg.com Language: English - Date: 2013-07-11 19:31:50 University of Cambridge Computer Laboratory Xen QEMU Hypervisor Hyper-V Hardware virtualization DTrace Qumranet Ring System software Software Virtual machines
642	Sir Maurice Wilkes, FRS (1913 – 2010) BCS Mid-Wales celebrates the life and achievements of Sir Maurice Wilkes, the “father” of British Computing. Wilkes’ influence on the British computer industry was immeasurab Add to Reading List Source URL: midwales.bcs.org Language: English - Date: 2013-10-07 08:17:08 Computing Science Fellows of the British Computer Society Knights Bachelor Maurice Wilkes Electronic Delay Storage Automatic Calculator Share-alike Wilkes Cambridge Ring Fellows of the Royal Society University of Cambridge Computer Laboratory British people
643	Microsoft Word - lctes35c-wernsing.docx Add to Reading List Source URL: www.gstitt.ece.ufl.edu Language: English - Date: 2010-03-26 18:15:27 Holism Source code Subroutine University of Cambridge Computer Laboratory C++ Sorting algorithm Computer architecture Thread Forth Computer programming Computing Software engineering
644	ANNUAL OPERATING BUDGET AND AMENDMENTS POLICIES AND PROCEDURES AGENCY INSTRUCTIONS AND BUDGETNET USER MANUAL FISCAL YEAR 2015 Add to Reading List Source URL: opb.georgia.gov Language: English - Date: 2014-04-30 12:56:03 Subroutine University of Cambridge Computer Laboratory Energy Savings Performance Contract Oregon Public Broadcasting Computing Television in the United States Holism Source code
645	Automated NIDS Signature Creation using Honeypots Christian Kreibich, Jon Crowcroft University of Cambridge Computer Laboratory JJ Thomson Avenue, Cambridge CB3 0FD, United Kingdom firstname.lastname @cl.cam.ac.uk Add to Reading List Source URL: www.icir.org Language: English - Date: 2007-01-16 15:06:05 Computer network security Honeypot Spamming
646	Nomadic Pict: Programming Languages, Communication Infrastructure Overlays, and Semantics for Mobile Computation PETER SEWELL Computer Laboratory, University of Cambridge and Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2010-02-03 14:17:39 Applied mathematics Mathematics Π-calculus Deduction Concurrent computing Process calculus Models of computation Actor model Lambda calculus Process calculi Logic Theoretical computer science
647	Honeycomb – Creating Intrusion Detection Signatures Using Honeypots Christian Kreibich, Jon Crowcroft University of Cambridge Computer Laboratory JJ Thomson Avenue, Cambridge CB3 0FD, United Kingdom firstname.lastname Add to Reading List Source URL: www.icir.org Language: English - Date: 2007-01-16 15:06:05 Internet Network architecture Internet standards Transmission Control Protocol Transport layer Honeypot User Datagram Protocol Network intrusion detection system Denial-of-service attack Computer network security Computing Internet protocols
648	The unfolding of general Petri nets Jonathan Hayman Glynn Winskel Computer Laboratory, University of Cambridge, England Abstract Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2008-07-22 10:38:14 Mathematics Petri net Adjoint functors Pullback Morphism Functor Sheaf Category Subcategory Abstract algebra Category theory Algebra
649	On the expressivity of symmetry in event structures∗ Sam Staton and Glynn Winskel Computer Laboratory, University of Cambridge Abstract—This paper establishes a bridge between presheaf models for concurrency and the Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2010-05-05 11:49:01 Sheaf theory Functors Adjoint functors Algebraic topology Sheaf Equivalence relation Topos Equivalence of categories Grothendieck topology Category theory Abstract algebra Mathematics
650	Prime Algebraicity Glynn Winskel, University of Cambridge Computer Laboratory, England April 27, 2009 Abstract A prime algebraic lattice can be characterised as isomorphic to the downwards-closed subsets, ordered by incl Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2009-04-28 11:54:02 Structure Lattice theory Algebraic structures Lattice Heyting algebra Distributivity Compact element Partially ordered set Scott domain Mathematics Abstract algebra Order theory

UPDATE